Farming towards a rigorous de nition and e cient transputer implementation

The technique of the processor farm has become very widely used for paral lelising applications often being mentioned without reference to any source The goal of this work has been to put together a complete and rigorous un derstanding of what the technique can be used for and what is needed in order to arrive at an e ciently farmed application This paper consists of these two parts We have shown via the UNITY theory of programming that the basic struc ture of the processor farm may be used to parallelise a much wider domain of applications than has generally been considered Second we show by example how to build e cient implementations for the rst generation of INMOS Transputers This work is new in that it is the rst that has been able to test farming harnesses by taking an abstract view of the